Inhalt des Dokuments
zur Navigation
Publikationen
| Zitatschlüssel | DBLP:journals/jlp/AcetoBFIN09 |
|---|---|
| Autor | Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann |
| Jahr | 2009 |
| Journal | J. Log. Algebr. Program. |
| Jahrgang | 78 |
| Nummer | 4 |